Test-Based Induction of Finite-State Machines with Continuous Output Actions
نویسندگان
چکیده
Problem: · Control object has continuous (real) control parameters · Tests are the examples of proper control · Given a set of N tests (N ≈ 20–30), an FSM should be constructed with behavior close to the tests · Aircraft model is used as a control object · Tests can be written manually in a flight simulator · in[i][t][k] – inputs (flight parameter values) · out[i][t][j] – outputs (control parameter values)
منابع مشابه
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization
· Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization // Lecture Notes in Computer Science, 2012, Volume 7461/2012, pp. 68275 · Chivilikhin D., Ulyantsev V., Tsarev F. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization / Proceedings of the 2012 GECCO Conference Companion on Genetic and Evolutionary Co...
متن کاملStable Encoding of Finite-State Machines in Discrete-Time Recurrent Neural Nets with Sigmoid Units
There has been a lot of interest in the use of discrete-time recurrent neural nets (DTRNN) to learn finite-state tasks, with interesting results regarding the induction of simple finite-state machines from input-output strings. Parallel work has studied the computational power of DTRNN in connection with finite-state computation. This article describes a simple strategy to devise stable encodin...
متن کاملTesting Processes from Formal Specifications with Inputs, Outputs and Data Types
Deriving test cases from formal specifications of communicating processes has been studied for a while. Several methods have been proposed for specifications based on FSM (Finite State Machines), LTS (Labelled Transition Systems), IOTS (Input Output Transition Systems), etc. However, most approaches are limited to a finite set of actions, excluding the possibility of communicating typed values ...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملA short overview of the electrical machines control based on Flatness-technique
Optimal linear controllers and high computational non-linear controllers are normally applied to control the nonlinear systems. Flatness control method is a control technique for linear systems as well as nonlinear systems by static and dynamic feedback namely as endogenous dynamic feedback. This method takes into account the non-linear behavior of the process while preventing complicated compu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013